Incremental Test Generation Guided by Fault Coverage
نویسندگان
چکیده
منابع مشابه
High Quality ATPG for Delay Defects
The paper presents a novel technique for generating effective vectors for delay defects. The test set achieves high path delay fault coverage to capture smalldistributed delay defects and high transition fault coverage to capture gross delay defects. Furthermore, non-robust paths for ATPG are filtered (selected) carefully so that there is a minimum overlap with the already tested robust paths. ...
متن کاملTest Coverage for Continuous and Hybrid Systems
We propose a novel test coverage measure for continuous and hybrid systems, which is defined using the star discrepancy notion. We also propose a test generation method guided by this coverage measure. This method was implemented in a prototype tool that can handle high dimensional systems (up to 100 dimensions).
متن کاملA New Testability Calculation Method to Guide RTL Test Generation
Current paper presents a unified approach for calculating mixed-level testability measures. In addition, a new method of testability guided RTL Automated Test Pattern Generation (ATPG) for sequential circuits is introduced. The methods and algorithms are based on path tracing procedures on decision diagrams. The previous known methods have been implemented in test synthesis and in guiding gate-...
متن کاملA Formal Framework of Hybrid Test Cases Generation Applied to Embedded Systems
In this paper, we describe a formal framework for conformance testing of continuous and hybrid systems, using the international standard ’Formal Methods in Conformance Testing’ FMCT. We propose a novel test coverage measure for these systems, which is defined using the star discrepancy notion. This coverage measure is used to quantify the validation ’completeness’. It is also used to guide inpu...
متن کاملAutomated GUI Testing Validation guided by Annotated Use Cases
This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and test coverage analysis. The test case generation process is initially guided by use cases describing the GUI behavior, recorded as a series of interactions with the application widgets (e.g. widgets being clicked, data input, etc....
متن کامل